I Mproving the S Emantics of C Onceptual

نویسندگان

  • Roger Clarke
  • Andrew Burton-Jones
چکیده

A core activity in information systems development involves understanding the conceptual model of the domain that the information system supports. Any conceptual model is ultimately created using a conceptual-modeling (CM) grammar. Accordingly, just as high quality conceptual models facilitate high quality systems development, high quality CM grammars facilitate high quality conceptual modeling. This paper seeks to provide a new perspective on improving the quality of CM grammar semantics. For the past twenty years, the leading approach to this topic has drawn on ontological theory. However, the ontological approach captures just half of the story. It needs to be coupled with a logical approach. We show how ontological quality and logical quality interrelate and we outline three contributions of a logical approach: the ability to see familiar conceptual-modeling problems in simpler ways, the illumination of new problems, and the ability to prove the benefit of modifying CM grammars.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Pacemaker therapy in refractory heart failure: a systematic approach to electromechanical optimization of diastolic function.

A R D I A C R E S Y N C H R O N I Z A T I O N T H E R A P Y ( C R T ) has been targeted primarily at mproving left ventricular systolic function. Whereas the discordance rate between the reported ymptomatic response to CRT and parameters of systolic function has consistently been high, there is xcellent concordance between the symptomatic response to pacemaker therapy and objective easures of d...

متن کامل

Amitraz Poisoning; A case study

A m i t r a z, a n i ns e c t i c i d e /a ca ri c i de of the f o r m a m i d i n e p e st i c i d e s group, is a ? 2 a d r e n e r g i c ag on i st a nd of t he a m i d i ne c h e m i ca l f a m il y generally us e d to c o n t r ol animal e c top a r a s i t e s. Poisoning due to am i t r a z i s r a r e and character...

متن کامل

K Ant , H Usserl , M C D Owell : T He N on - C Onceptual In

In this paper I analyze some important contemporary criticisms of McDowell ́s conceptualism by Kant and Husserl scholars. Many Kant scholars have recently taken a stance against McDowell ́s reading of Kant in Mind and World, arguing that Kant’s account involves non-conceptual content. At the same time, phenomenologists such as Dreyfus [2013] have drawn on first person descriptions of skillful cop...

متن کامل

Oliver Zahorka Predibase—controlling Semantics of Symbolic Structures in Music P Redi B Ase —c Ontrolling S Emantics of S Ymbolic S Tructures in M Usic

PrediBase is a database management system, capable of handling flexible and open semantic data structures. It was developed with the complexity of musical score notation in mind, as part of the RUBATO performance workstation. The high demands of the classical musical score relative to handling polymorphy and polysemy of data are satisfied by a unique design, developed according to perceptions o...

متن کامل

Pertinence Logic Characterisation of Stable Models (Preliminary Report)

On the line of Here-and-There logic by D. Pearce, this work introduces a emantics based on Pertinence Logic for the Stable Models emantics of Logic Programs proposed by M. Gelfond and V. Lifschitz. This semantics is useful for the strong equivalence of programs. Pertinence Logic is a causal formalism suitable for action descriptions, thus this characterization contributes to the relationship be...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2013